Object type - PDFSEARCH.IO - Document Search Engine

Object type
Results: 830

#	Item
211	1 Syntactic soundness proof of a type-and-capability system with hidden state FRANÇOIS POTTIER Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2012-09-21 10:50:57 Data types Computer programming Object-oriented programming Primitive types Programming paradigms Type system Subtype polymorphism Soundness Reference Software engineering Type theory Computing
212	A (Not So) Short Introduction to S4 Object Oriented Programming in R V0.5.1 Christophe Genolini August 20, 2008 Add to Reading List Source URL: ftp.cixug.es Language: English - Date: 2008-08-20 09:09:33 Object-oriented programming Object Common Lisp Object System Constant Type system Mutator method Self Object model Prototype-based programming Software engineering Computer programming Computing
213	The mixin phase c Miguel Garcia, LAMP, EPFL http://lamp.epfl.ch/~magarcia October 10th , 2011 Abstract Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2011-11-09 04:22:14 Object-oriented programming Interfaces Type theory Mixin Java programming language Mutator method Trait Method Class Software engineering Computing Computer programming
214	A (Not So) Short Introduction to S4 Object Oriented Programming in R V0.5.1 Christophe Genolini August 20, 2008 Add to Reading List Source URL: cran.csiro.au Language: English - Date: 2008-08-20 09:09:33 Object-oriented programming Object Common Lisp Object System Constant Type system Mutator method Self Object model Prototype-based programming Software engineering Computer programming Computing
215	Object Calculi with Dynamic Messages Michele Bugliesi∗ Dip. di Informatica Universit` a “Ca’ Foscari” di Venezia Via Torino 155, IMestre (VE), Italy Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:06:13 Computer programming Data types Object-oriented programming Lambda calculus Polymorphism Subtype polymorphism Type system System F Foreach loop Software engineering Computing Type theory
216	A (Not So) Short Introduction to S4 Object Oriented Programming in R V0.5.1 Christophe Genolini August 20, 2008 Add to Reading List Source URL: ftp.igh.cnrs.fr Language: English - Date: 2008-08-20 09:09:33 Object-oriented programming Object Common Lisp Object System Constant Type system Mutator method Self Object model Prototype-based programming Software engineering Computer programming Computing
217	Using ASN.1 to Describe 3GPP Layer 3 Message Formats Objective Systems, Inc., July 2012 Overview Add to Reading List Source URL: www.obj-sys.com Language: English - Date: 2012-12-07 00:00:00 Notation Abstract Syntax Notation One Information Object Class CSN.1 Octet Bit array Bit field Enumerated type Integer Computing Data types Software engineering
218	A (Not So) Short Introduction to S4 Object Oriented Programming in R V0.5.1 Christophe Genolini August 20, 2008 Add to Reading List Source URL: mirrors.dotsrc.org Language: English - Date: 2008-08-20 09:09:33 Object-oriented programming Object Common Lisp Object System Constant Type system Mutator method Self Object model Prototype-based programming Software engineering Computer programming Computing
219	Unparsing types the Scaladoc way c Miguel Garcia, LAMP, EPFL http://lamp.epfl.ch/~magarcia January 2nd , 2011 Abstract Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2011-01-04 06:52:06 Functional languages Functional programming Java platform Scala Type theory Object-oriented programming Java Eval Symbol Computing Software engineering Computer programming
220	A (Not So) Short Introduction to S4 Object Oriented Programming in R V0.5.1 Christophe Genolini August 20, 2008 Add to Reading List Source URL: cran.usthb.dz Language: English - Date: 2008-08-20 09:09:33 Object-oriented programming Object Common Lisp Object System Constant Type system Mutator method Self Object model Prototype-based programming Software engineering Computer programming Computing

UPDATE